COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(fasload met16)
C00019 ENDMK
C⊗;
(fasload met16)
(*rset (nouuo ()))
(setup)
((lambda (meter:sort-runtime)
	 (meter:report-boyer)
	 (setq meter:sort-runtime t)
	 (meter:report-boyer)) ())

Statistics
= <calls> (<percentage>) [runtime (<percentage>)]


Meter for: ADD-LEMMA
Cars = 424 (28.53%) [1.0E-3 (6.67%)]
Atoms = 212 (14.27%) [3.0E-3 (20.0%)]
Nulls = 107 (7.2%) [2.0E-3 (13.33%)]
ADD-LEMMA-LST = 107 (7.2%)
Cdrs = 106 (7.13%) [3.0E-3 (20.0%)]
Gets = 106 (7.13%) [1.0E-3 (6.67%)]
Conses = 106 (7.13%) [1.0E-3 (6.67%)]
Putprops = 106 (7.13%) [1.0E-3 (6.67%)]
Eqs = 106 (7.13%) [3.0E-3 (20.0%)]
ADD-LEMMA = 106 (7.13%)
TRUEP = 0 (0.0%)
Sub1s = 0 (0.0%) [0.0 (0.0%)]
TRANS-OF-IMPLIES1 = 0 (0.0%)
TRANS-OF-IMPLIES = 0 (0.0%)
TAUTP = 0 (0.0%)
TAUTOLOGYP = 0 (0.0%)
REWRITE-WITH-LEMMAS = 0 (0.0%)
REWRITE-ARGS = 0 (0.0%)
REWRITE = 0 (0.0%)
ONE-WAY-UNIFY1-LST = 0 (0.0%)
ONE-WAY-UNIFY1 = 0 (0.0%)
ONE-WAY-UNIFY = 0 (0.0%)
Members = 0 (0.0%) [0.0 (0.0%)]
Equals = 0 (0.0%) [0.0 (0.0%)]
FALSEP = 0 (0.0%)
APPLY-SUBST-LST = 0 (0.0%)
APPLY-SUBST = 0 (0.0%)
Total = 1486	[0.015]

Statistics
= <calls> (<percentage>) [runtime (<percentage>)]


Meter for: ADD-LEMMA
Cdrs = 106 (7.13%) [3.0E-3 (20.0%)]
Eqs = 106 (7.13%) [3.0E-3 (20.0%)]
Atoms = 212 (14.27%) [3.0E-3 (20.0%)]
Nulls = 107 (7.2%) [2.0E-3 (13.33%)]
Gets = 106 (7.13%) [1.0E-3 (6.67%)]
Conses = 106 (7.13%) [1.0E-3 (6.67%)]
Putprops = 106 (7.13%) [1.0E-3 (6.67%)]
Cars = 424 (28.53%) [1.0E-3 (6.67%)]
TRUEP = 0 (0.0%)
Sub1s = 0 (0.0%) [0.0 (0.0%)]
TRANS-OF-IMPLIES1 = 0 (0.0%)
TRANS-OF-IMPLIES = 0 (0.0%)
TAUTP = 0 (0.0%)
TAUTOLOGYP = 0 (0.0%)
REWRITE-WITH-LEMMAS = 0 (0.0%)
REWRITE-ARGS = 0 (0.0%)
REWRITE = 0 (0.0%)
ONE-WAY-UNIFY1-LST = 0 (0.0%)
ONE-WAY-UNIFY1 = 0 (0.0%)
ONE-WAY-UNIFY = 0 (0.0%)
Members = 0 (0.0%) [0.0 (0.0%)]
Equals = 0 (0.0%) [0.0 (0.0%)]
FALSEP = 0 (0.0%)
APPLY-SUBST-LST = 0 (0.0%)
APPLY-SUBST = 0 (0.0%)
ADD-LEMMA-LST = 107 (7.2%)
ADD-LEMMA = 106 (7.13%)
Total = 1486	[0.015]

(meter:init-boyer)
(test)
((lambda (meter:sort-runtime)
	 (meter:report-boyer)
	 (setq meter:sort-runtime t)
	 (meter:report-boyer)) ())

Statistics
= <calls> (<percentage>) [runtime (<percentage>)]


Meter for: ADD-LEMMA
Cars = 788408 (23.74%) [6.475 (4.84%)]
Cdrs = 462652 (13.93%) [3.656 (2.73%)]
Nulls = 434133 (13.07%) [3.545 (2.65%)]
Atoms = 419284 (12.63%) [3.934 (2.94%)]
Conses = 226464 (6.82%) [113.753 (85.08%)]
ONE-WAY-UNIFY1 = 171145 (5.15%)
REWRITE-ARGS = 169804 (5.11%)
REWRITE-WITH-LEMMAS = 152280 (4.59%)
Eqs = 128879 (3.88%) [1.101 (0.82%)]
ONE-WAY-UNIFY1-LST = 100601 (3.03%)
REWRITE = 91024 (2.74%)
Gets = 79742 (2.4%) [1.198 (0.9%)]
ONE-WAY-UNIFY = 73499 (2.21%)
APPLY-SUBST-LST = 11448 (0.34%)
APPLY-SUBST = 9512 (0.29%)
Equals = 1403 (0.04%) [0.017 (0.01%)]
Members = 272 (0.01%) [0.022 (0.02%)]
TRUEP = 207 (0.01%)
FALSEP = 150 (0.0%)
TAUTOLOGYP = 111 (0.0%)
TAUTP = 1 (0.0%)
Sub1s = 0 (0.0%) [0.0 (0.0%)]
TRANS-OF-IMPLIES1 = 0 (0.0%)
TRANS-OF-IMPLIES = 0 (0.0%)
ADD-LEMMA-LST = 0 (0.0%)
Putprops = 0 (0.0%) [0.0 (0.0%)]
ADD-LEMMA = 0 (0.0%)
Total = 3321019	[133.701]

Statistics
= <calls> (<percentage>) [runtime (<percentage>)]


Meter for: ADD-LEMMA
Conses = 226464 (6.82%) [113.753 (85.08%)]
Cars = 788408 (23.74%) [6.475 (4.84%)]
Atoms = 419284 (12.63%) [3.934 (2.94%)]
Cdrs = 462652 (13.93%) [3.656 (2.73%)]
Nulls = 434133 (13.07%) [3.545 (2.65%)]
Gets = 79742 (2.4%) [1.198 (0.9%)]
Eqs = 128879 (3.88%) [1.101 (0.82%)]
Members = 272 (0.01%) [0.022 (0.02%)]
Equals = 1403 (0.04%) [0.017 (0.01%)]
TRUEP = 207 (0.01%)
Sub1s = 0 (0.0%) [0.0 (0.0%)]
TRANS-OF-IMPLIES1 = 0 (0.0%)
TRANS-OF-IMPLIES = 0 (0.0%)
TAUTP = 1 (0.0%)
TAUTOLOGYP = 111 (0.0%)
REWRITE-WITH-LEMMAS = 152280 (4.59%)
REWRITE-ARGS = 169804 (5.11%)
REWRITE = 91024 (2.74%)
ONE-WAY-UNIFY1-LST = 100601 (3.03%)
ONE-WAY-UNIFY1 = 171145 (5.15%)
ONE-WAY-UNIFY = 73499 (2.21%)
FALSEP = 150 (0.0%)
APPLY-SUBST-LST = 11448 (0.34%)
APPLY-SUBST = 9512 (0.29%)
ADD-LEMMA-LST = 0 (0.0%)
Putprops = 0 (0.0%) [0.0 (0.0%)]
ADD-LEMMA = 0 (0.0%)
Total = 3321019	[133.701]
T